A Hybrid Belief System for Doubtful Agents

This paper aims at bridging together the fields of Uncertain Reasoning and Knowledge Representation. The bridge we propose consists in the definition of a Hybrid Belief System, a general modular system capable of performing uncertain reasoning on structured knowledge. This system comprises two distinct modules, UR-mod and KR-mod: the UR-mod provides the uncertainty calculus used to represent uncertainty about our knowledge; this knowledge itself is in turn represented by the linguistic structures made available by the KR-mod. An architecture is drawn for this system grounded on a formal framework, and examples are given using Dempster-Shafer theory or probabilities as UR-mod, and first order logic or KRYPTON as KRmod. An ATMS-based algorithm for a Hybrid Belief System is hinted at.